ML–Lucid, an intensional functional language
نویسنده
چکیده
In this paper, we define the ML-Lucid programming language, a generalization of Lucid and of the functional part of ML. ML-Lucid is a multi-dimensional language, and dimensions can be defined to be any ML data type. All functional ML objects can be used as the atomic objects of Lucid. The semantic of ML-Lucid are given using a Kripke semantics, where the universe of possible worlds is the arbitrary cross-product of ML data types. All of Lucid’s intensional operators can be defined in ML-Lucid, and new ones can easily be defined.
منابع مشابه
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle
A Forensic Lucid intensional programming language has been proposed for intensional cyberforensic analysis. In large part, the language is based on various predecessor and codecessor Lucid dialects bound by the higher-order intensional logic (HOIL) that is behind them. This work formally specifies the operational aspects of the Forensic Lucid language and compiles a theory of its constructs usi...
متن کاملAn intentional language as the basis of a 3-D spreadsheet design
Intensional logic is concerned with assertions and other expressions whose meaning depends on an implicit context. An intensional language is both a programming language and, at the same time, a formal system based on intensional semantics. It provides users with context-switching operators which allow values from different contexts to be combined without explicit context manipulation. Plane Lu...
متن کاملIntensional Programming for Agent Communication
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid. For the language thus extended, a calculus of contexts and a logic of contexts are provided. The paper gives definitions, syntax, and operators for context, and introduces an operational semantics for evaluating expr...
متن کاملIntensional Cyberforensics
Intensional Cyberforensics Serguei A. Mokhov, Ph.D.Concordia University, 2013 This work focuses on the application of intensional logic to cyberforensic analysis and itsbenefits and difficulties are compared with the finite-state-automata approach. This workextends the use of the intensional programming paradigm to the modeling and implemen-tation of a cyberforensics investigati...
متن کاملFirst-Order Functional Languages and Intensional Logic
The purpose of this paper is to demonstrate that first-order functional programs can be transformed into intensional programs of nullary variables, in a semantics preserving way. On the foundational side, the goal of our study is to bring new insights and a better understanding of the nature of functional languages. From a practical point of view, our investigation provides a formal basis for t...
متن کامل